strong typing

programming Strict enforcement of type rules with no

exceptions. All types are known at compile time, i.e. are

statically bound. With variables that can store values of

more than one type, incorrect type usage can be detected at

run time.

Strong typing catches more errors at compile time than weaktyping, resulting in fewer run-time exceptions.

The languages Ada, Java, and Haskell are strongly typed.

Pascal is (almost) strongly typed.

C and C++ are sometimes described as strongly typed, but

are perhaps better described as weakly typed.

(2000-07-04)